Самая большая электронная библиотека рунета. Поиск книг и журналов

Model Checking

Автор: , Автор: , Автор:
Размер книги: 2.13 Mb

Computer Aided Verification, 11 conf., CAV '99

Автор: , Автор:
Размер книги: 5.03 Mb

Model checking

Автор: , Автор: , Автор:
Категория: Computer science, Algorithms
Размер книги: 1.88 Mb

Model checking

Автор: , Автор: , Автор:
Размер книги: 3.22 Mb

Computer Aided Verification, 16 conf., CAV 2004

Автор: , Автор:
Размер книги: 9.94 Mb

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 3.97 Mb